Optimal Carry Save Networks

A general theory is developed for constructing the asymptotically shallowest networks and the asymptotically smallest networks (with respect to formula size) for the carry save addition of n numbers using any given basic carry save adder as a building block. Using these optimal carry save addition networks the shallowest known multiplication circuits and the shortest formulae for the majority function (and many other symmetric Boolean functions) are obtained. In this paper, simple basic carry save adders are described, using which multiplication circuits of depth 3:71 log n (the result of which is given as the sum of two numbers) and majority formulae of size O(n 3:21) are constructed. Using more complicated basic carry save adders, not described here, these results could be further improved. Our best bounds are currently 3:57 log n for depth and O(n 3:13) for formula size.